#include <stdio.h>
void work(void)
{
    printf("work\n");
}